National Repository of Grey Literature 11 records found  1 - 10next  jump to record: Search took 0.00 seconds. 
Comparison of Properties and Performance of uC/OS-II and uC/OS-III Kernels
Lorenc, Ján ; Dobai, Roland (referee) ; Strnadel, Josef (advisor)
This master's thesis is focused on benchmarking of Real-Time Operating Systems uC/OS-II and uC/OS-III . It describes the basic features of these systems and metrics used for benchmarking of Real-Time Operating Systems. Selected test methods are implemented and based on them are then compared the performance of Real-Time Operating Systems uC/OS-II and uC/OS-III .
Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems
Gach, Marek ; Slaný, Karel (referee) ; Strnadel, Josef (advisor)
This thesis is aimed to specify and implement multi-purpose framework able to deal with graphical real-time system specification. This tool allows to use arbitrary verification approach to resulting system model check. Description of basic formal specification methods based on mathematic logic is done. Some well-known hierarchical graphical specifications for real-time systems are depictured. Author proposed suitable cases for functionality examination of resulting framework.
Mechanisms for Scheduling RT Tasks during Lack of Computational and Energy Sources
Pokorný, Martin ; Vašíček, Zdeněk (referee) ; Strnadel, Josef (advisor)
This term project deals with the problem of scheduling real-time tasks in overload conditions and techniques for lowering power consumption. Each of these parts features mechanisms and reasons for their using. There are also described specific algorithms, that are implemented, in operating system uC/OS-II, and compared in next phase of master's thesis.
Control of BLDC motor at LabVIEW
Bulín, Tomáš ; Pazdera, Ivo (referee) ; Huzlík, Rostislav (advisor)
The aim of my thesis is to become familiar with the program LabVIEW, CompactRIO platform and features it offers to control BLDC engine. A comprehensive program from National Instruments LabVIEW is used in a wide range of industrial applications ranging from measurement of electrical signals, data collection, automation of the measurement, to the control of various engines and applications. In addition, the program renews itself every year and as each new version comes with many new enhancements that improve its functionality even more. It use to actual control the CompactRIO platform, in which is loaded a program created to control the application. The main advantage is that the user has the option to modify the program according to their needs and he don’t have to send his applications to the manufacturer for each change in the source code of control program. CompactRIO caters to not only control your own applications, but is also able to measure the values needed to run the program.
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Pavliš, Filip ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through the system is reliable. The goal of this thesis is a research and implementation of an analysis that should identify obsolescence of variables due to delays caused by scheduling and communication in real-time systems. Analysis will be designed for Ensemble-Based Component System (EBCS) semantics because it enables precise specification and analysis of important properties. The main problem is to find a suitable input model of the analysis and find its possible limits. Effort should be put in balancing between the level of abstraction given to a RDS developer and power of the analysis itself. The main benefit of the analysis will be detection of situations in which data processed in RDS are outdated and can cause incorrect behavior of particular components.
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Pavliš, Filip ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through the system is reliable. The goal of this thesis is a research and implementation of an analysis that should identify obsolescence of variables due to delays caused by scheduling and communication in real-time systems. Analysis will be designed for Ensemble-Based Component System (EBCS) semantics because it enables precise specification and analysis of important properties. The main problem is to find a suitable input model of the analysis and find its possible limits. Effort should be put in balancing between the level of abstraction given to a RDS developer and power of the analysis itself. The main benefit of the analysis will be detection of situations in which data processed in RDS are outdated and can cause incorrect behavior of particular components.
Deployment of SOFA-HI applications on the nxtOSEK platform
Kaščák, Kamil ; Bureš, Tomáš (advisor) ; Pop, Tomáš (referee)
SOFA-HI is an extension of the SOFA 2 component system,which is developed at Department of distributed and dependable systems. SOFA-HI focuses on support for development of real-time embedded applications using component-based approach. This thesis extends existing SOFA-HI implementation with support for development and deployment of SOFA-HI application to nxtOSEK platform which is a small-footprint real-time operating system and board support package for LEGO Mindstorms NXT. In particular, existing tools for application development and deployment are extended to support nxtOSEK platform. The thesis further provides pre-made components to allow communication with standard NXT sensors and actuators. Powered by TCPDF (www.tcpdf.org)
Comparison of Properties and Performance of uC/OS-II and uC/OS-III Kernels
Lorenc, Ján ; Dobai, Roland (referee) ; Strnadel, Josef (advisor)
This master's thesis is focused on benchmarking of Real-Time Operating Systems uC/OS-II and uC/OS-III . It describes the basic features of these systems and metrics used for benchmarking of Real-Time Operating Systems. Selected test methods are implemented and based on them are then compared the performance of Real-Time Operating Systems uC/OS-II and uC/OS-III .
Control of BLDC motor at LabVIEW
Bulín, Tomáš ; Pazdera, Ivo (referee) ; Huzlík, Rostislav (advisor)
The aim of my thesis is to become familiar with the program LabVIEW, CompactRIO platform and features it offers to control BLDC engine. A comprehensive program from National Instruments LabVIEW is used in a wide range of industrial applications ranging from measurement of electrical signals, data collection, automation of the measurement, to the control of various engines and applications. In addition, the program renews itself every year and as each new version comes with many new enhancements that improve its functionality even more. It use to actual control the CompactRIO platform, in which is loaded a program created to control the application. The main advantage is that the user has the option to modify the program according to their needs and he don’t have to send his applications to the manufacturer for each change in the source code of control program. CompactRIO caters to not only control your own applications, but is also able to measure the values needed to run the program.
Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems
Gach, Marek ; Slaný, Karel (referee) ; Strnadel, Josef (advisor)
This thesis is aimed to specify and implement multi-purpose framework able to deal with graphical real-time system specification. This tool allows to use arbitrary verification approach to resulting system model check. Description of basic formal specification methods based on mathematic logic is done. Some well-known hierarchical graphical specifications for real-time systems are depictured. Author proposed suitable cases for functionality examination of resulting framework.

National Repository of Grey Literature : 11 records found   1 - 10next  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.